linear algebra coordinate proof